home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / constructions / circcirccirc.T next >
Encoding:
Text File  |  1994-08-02  |  3.0 KB  |  90 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.171196, 0.459239, "p1");
  3. v2 = .free(-0.290761, 0.410326, "c1");
  4. v3 = .free(0.0543478, -0.516304, "p2");
  5. v4 = .free(-0.228261, -0.51087, "c2");
  6. v5 = .free(0.440217, 0.345109, "c3");
  7. v6 = .free(0.733696, 0.464674, "p3");
  8. c3 = .c.vv(v5, v6);
  9. c2 = .c.vv(v4, v3);
  10. c1 = .c.vv(v2, v1);
  11. rad1 = .len.vv(v1, v2);
  12. rad2 = .len.vv(v3, v4);
  13. rad3 = .len.vv(v5, v6);
  14. newr2 = .len.minus(rad2, rad1);
  15. newr3 = .len.minus(rad3, rad1);
  16. newr22 = .len.plus(rad2, rad1);
  17. newr33 = .len.plus(rad3, rad1);
  18. c2prime = .c.vlen(v4, newr2, .invisible);
  19. c3prime = .c.vlen(v5, newr3, .invisible);
  20. c22prime = .c.vlen(v4, newr22, .invisible);
  21. c33prime = .c.vlen(v5, newr33, .invisible);
  22. c2pinv = .c.ccinv(c2prime, c1, .invisible);
  23. c3pinv = .c.ccinv(c3prime, c1, .invisible);
  24. c22pinv = .c.ccinv(c22prime, c1, .invisible);
  25. c33pinv = .c.ccinv(c33prime, c1, .invisible);
  26. l1 = .l.ccext(c3pinv, c2pinv, 1, .invisible, .longline);
  27. l2 = .l.ccext(c3pinv, c2pinv, 2, .invisible, .longline);
  28. l3 = .l.ccext(c33pinv, c22pinv, 1, .invisible);
  29. l4 = .l.ccext(c33pinv, c22pinv, 2, .invisible);
  30. x1 = .c.lcinv(l1, c1, .invisible);
  31. x2 = .c.lcinv(l2, c1, .invisible);
  32. x3 = .c.lcinv(l3, c1, .invisible);
  33. x4 = .c.lcinv(l4, c1, .invisible);
  34. cx1 = .v.ccenter(x1, .invisible);
  35. cx2 = .v.ccenter(x2, .invisible);
  36. cx3 = .v.ccenter(x3, .invisible);
  37. cx4 = .v.ccenter(x4, .invisible);
  38. ll1 = .len.vv(cx1, v2);
  39. ll2 = .len.vv(cx2, v2);
  40. ll3 = .len.vv(cx3, v2);
  41. ll4 = .len.vv(cx4, v2);
  42. lll1 = .len.minus(ll1, rad1);
  43. tan1 = .c.vlen(cx1, lll1, .red);
  44. lll2 = .len.plus(ll2, rad1);
  45. tan2 = .c.vlen(cx2, lll2, .red);
  46. lll3 = .len.plus(ll3, rad1);
  47. tan3 = .c.vlen(cx3, lll3, .red);
  48. lll4 = .len.minus(ll4, rad1);
  49. tan4 = .c.vlen(cx4, lll4, .red);
  50. llm1 = .len.plus(ll1, rad1);
  51. tan5 = .c.vlen(cx1, llm1, .red);
  52. llm2 = .len.minus(ll2, rad1);
  53. tan6 = .c.vlen(cx2, llm2, .red);
  54. llm3 = .len.minus(ll3, rad1);
  55. tan7 = .c.vlen(cx3, llm3, .red);
  56. llm4 = .len.plus(ll4, rad1);
  57. tan8 = .c.vlen(cx4, llm4, .red);
  58. xl1 = .l.ccint(c3pinv, c2pinv, 1, .invisible, .longline);
  59. xl2 = .l.ccint(c3pinv, c2pinv, 2, .invisible, .longline);
  60. xl3 = .l.ccint(c33pinv, c22pinv, 1, .invisible);
  61. xl4 = .l.ccint(c33pinv, c22pinv, 2, .invisible);
  62. xx1 = .c.lcinv(xl1, c1, .invisible);
  63. xx2 = .c.lcinv(xl2, c1, .invisible);
  64. xx3 = .c.lcinv(xl3, c1, .invisible);
  65. xx4 = .c.lcinv(xl4, c1, .invisible);
  66. xcx1 = .v.ccenter(xx1, .invisible);
  67. xcx2 = .v.ccenter(xx2, .invisible);
  68. xcx3 = .v.ccenter(xx3, .invisible);
  69. xcx4 = .v.ccenter(xx4, .invisible);
  70. xll1 = .len.vv(xcx1, v2);
  71. xll2 = .len.vv(xcx2, v2);
  72. xll3 = .len.vv(xcx3, v2);
  73. xll4 = .len.vv(xcx4, v2);
  74. xlll1 = .len.minus(xll1, rad1);
  75. xtan1 = .c.vlen(xcx1, xlll1, .green);
  76. xlll2 = .len.plus(xll2, rad1);
  77. xtan2 = .c.vlen(xcx2, xlll2, .green);
  78. xlll3 = .len.plus(xll3, rad1);
  79. xtan3 = .c.vlen(xcx3, xlll3, .green);
  80. xlll4 = .len.minus(xll4, rad1);
  81. xtan4 = .c.vlen(xcx4, xlll4, .green);
  82. xllm1 = .len.plus(xll1, rad1);
  83. xtan5 = .c.vlen(xcx1, xllm1, .green);
  84. xllm2 = .len.minus(xll2, rad1);
  85. xtan6 = .c.vlen(xcx2, xllm2, .green);
  86. xllm3 = .len.minus(xll3, rad1);
  87. xtan7 = .c.vlen(xcx3, xllm3, .green);
  88. xllm4 = .len.plus(xll4, rad1);
  89. xtan8 = .c.vlen(xcx4, xllm4, .green);
  90.